Otherwise, let E and F be two infinite orthonormal bases. Ngoài ra, cho E và F là hai cơ sở trực chuẩn vô hạn.
In an inner product space we can use the same argument to establish the existence of an orthonormal basis. Trong không gian tích trong chúng ta có thể sử dụng lập luận tương tự để chứng minh sự tồn tại của một cơ sở trực chuẩn.